[IA64] Clean up unused pkrs[] handling.
authorAlex Williamson <alex.williamson@hp.com>
Mon, 30 Jul 2007 22:01:05 +0000 (16:01 -0600)
committerAlex Williamson <alex.williamson@hp.com>
Mon, 30 Jul 2007 22:01:05 +0000 (16:01 -0600)
commita22225dc19b06186c39d9fc4312db010d33c7982
tree3da8dae1e1feceb11a070e9cebcfd9ca2ee000f1
parentf989c55e7d62bacd4aad8cd1e2b2867257a1f8da
[IA64] Clean up unused pkrs[] handling.

Signed-off-by: Dietmar Hahn <dietmar.hahn@fujitsu-siemens.com>
xen/arch/ia64/xen/vcpu.c
xen/include/public/arch-ia64.h